window: Add a way to disable F10 shortcut
authorMatthias Clasen <mclasen@redhat.com>
Sun, 14 Mar 2021 23:37:11 +0000 (19:37 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Sun, 14 Mar 2021 23:47:06 +0000 (19:47 -0400)
commitcfc91b62b0d508ad1b763e76f81c260b20376172
treea3c1643bbe56fb032dfe12ff21b3a777a456bcd2
parent24ec2cc6a67bba6b2898c9a55d554dae76c5bc76
window: Add a way to disable F10 shortcut

This is needed for terminal emulators.

Fixes: #3727
gtk/gtkwindow.c
gtk/gtkwindow.h